A Model-Theoretic Analysis of Knowledge: Preliminary Report
نویسندگان
چکیده
A h t . Understanding knowledge is a fundamental issue in many disciplines. In computer science, knowledge arises not only in the obvious contexts (such as knowledge-based systems), but also in distributed systems (where the goal is to have each processor “know” something, as in Byzantine agreement). A general semantic model of knowledge is introduced, to allow reasoning about statements such as “He knows that I know whether or not she knows *?her or not it is raining.” This approach more naturally models a state of knowledge than previous proposals (including Kripke structures). Using this notion of model, a model theory for knowledge is developed. This theory enables one to interpret such notions as a “finite amount of information” and “common knowledge” in different contexts.
منابع مشابه
The Application of Systems-Theoretic Accident Model and Process in the Systematic Nonlinear Analysis of Accidents in Car Industry
Background & objectives: Hundreds of methods have been introduced to analyze various events. Hence one of the effective and principle steps in accident analysis is proper and targeted selection of accident analysis method. Traditional methods of accident analysis in complex industries are not comprehensive and examine each components of the system separately. So, the use of new systematic metho...
متن کاملNGTSOM: A Novel Data Clustering Algorithm Based on Game Theoretic and Self- Organizing Map
Identifying clusters is an important aspect of data analysis. This paper proposes a noveldata clustering algorithm to increase the clustering accuracy. A novel game theoretic self-organizingmap (NGTSOM ) and neural gas (NG) are used in combination with Competitive Hebbian Learning(CHL) to improve the quality of the map and provide a better vector quantization (VQ) for clusteringdata. Different ...
متن کاملCombination of real options and game-theoretic approach in investment analysis
Investments in technology create a large amount of capital investments by major companies. Assessing such investment projects is identified as critical to the efficient assignment of resources. Viewing investment projects as real options, this paper expands a method for assessing technology investment decisions in the linkage existence of uncertainty and competition. It combines the game-theore...
متن کاملA Game Theory Approach for Solving the Knowledge Sharing Problem in Supply Chain
Knowledge management is the process of capturing, developing, sharing, and effectively using organizational knowledge as we known Knowledge management literature emphasizes the importance of knowledge as a valuable asset for SMEs. This paper highlights the efficient sharing of knowledge as a way of creating core competencies in the SMEs that are in civil construction activities. This perspectiv...
متن کاملIsolation and characterization of the Enterococcus faecalis strain isolated from red tilapia (Oreochromis hybrid) in Indonesia: A preliminary report
The number of fishes were conducted a series of bacteriological examinations to confirm the clinical symptoms that appeared and led to streptococcal infection. Results of the external examination from two moribund red tilapia found the hemorrhagic traces in some parts of the body such as the cranial area near the mouth, eyes, operculum, and some body parts and erosion on the tail, pectoral, and...
متن کامل